Comparing Refinements for Failure and Bisimulation Semantics

Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled transition systems, whereas in failure semantics refinement is based on inclusions between decorated traces systems. There exist however pairs of refinements, for bisimulation and failure semantics respectively, that have almost the same properties. Furthermore, each refinement in bisimulation semantics implies its counterpart in failure semantics, and conversely each refinement in failure semantics implies its counterpart in bisimulation semantics defined on the canonical form of the compared processes

Regional variation in primary care improvement strategies and policy: case studies that consider qualitative contextual data for performance measurement in three Canadian provinces

This is the final version. Available on open access from BMJ Publishing Group via the DOI in this recordOBJECTIVE: To explore regional primary care improvement strategies that are potentially determinants of primary care performance. DESIGN: Multiple comparative embedded case study. SETTING: Three regions in Canada: Fraser East, British Columbia; Eastern Ontario Health Unit, Ontario; Central Zone, Nova Scotia. DATA SOURCES: (1) In-depth interviews with purposively selected key informants (eg, primary care decision-makers, physician leads, regulatory agencies) and focus groups with patients and clinicians (n=68 participants) and (2) published and grey literature (n=205 documents). OUTCOME MEASURES: Variations in spread and uptake of primary care improvement strategies across the three study regions. NVivo (V.11) was used to manage data and perform content analysis to identify categories within and across cases. The coding structure was developed by researchers through iterative collaboration, using inductive and deductive processes. RESULTS: Six overarching primary care improvement strategies, differing in focus and spread, were implemented across the three study regions: interprofessional team-based approaches, provider skill mix expansion, physician groups and networks, information systems, remuneration and performance measurement and reporting infrastructure. CONCLUSION: The addition of information on regional improvement strategies to primary care performance reports could add important contextual insights into primary care performance results. This could help identify possible drivers of reported performance outcomes and levers for change in practice, regional and system-level settings.Canadian Institutes of Health ResearchMichael Smith Foundation for Health Researc

Cost and impact of policies to remove and reduce fees for obstetric care in Benin, Burkina Faso, Mali and Morocco.

BACKGROUND: Across the Africa region and beyond, the last decade has seen many countries introducing policies aimed at reducing financial barriers to obstetric care. This article provides evidence of the cost and effects of national policies focussed on improving financial access to caesarean and facility deliveries in Benin, Burkina Faso, Mali and Morocco. METHODS: The study uses a comparative case study design with mixed methods, including realist evaluation components. This article presents results across 14 different data collection tools, used in 4-6 research sites in each of the four study countries over 2011-13. The methods included: document review; interviews with key informants; analysis of secondary data; structured extraction from medical files; cross-sectional surveys of patients and staff; interviews with patients and observation of care processes. RESULTS: The article finds that the policies have contributed to continued increases in skilled birth attendance and caesarean sections and a narrowing of inequalities in all four countries, but these trends were already occurring so a shift cannot be attributed solely to the policies. It finds a significant reduction in financial burdens on households after the policy, suggesting that the financial protection objectives may have been met, at least in the short term, although none achieved total exemption of targeted costs. Policies are domestically financed and are potentially sustainable and efficient, and were relatively thoroughly implemented. Further, we find no evidence of negative effects on technical quality of care, or of unintended negative effects on untargeted services. CONCLUSIONS: We conclude that the policies were effective in meeting financial protection goals and probably health and equity goals, at sustainable cost, but that a range of measures could increase their effectiveness and equity. These include broadening the exempted package (especially for those countries which focused on caesarean sections alone), better calibrated payments, clearer information on policies, better stewardship of the local health system to deal with underlying systemic weaknesses, more robust implementation of exemptions for indigents, and paying more attention to quality of care, especially for newborns

Privacy-preserving data sharing infrastructures for medical research: systematization and comparison

Background: Data sharing is considered a crucial part of modern medical research. Unfortunately, despite its advantages, it often faces obstacles, especially data privacy challenges. As a result, various approaches and infrastructures have been developed that aim to ensure that patients and research participants remain anonymous when data is shared. However, privacy protection typically comes at a cost, e.g. restrictions regarding the types of analyses that can be performed on shared data. What is lacking is a systematization making the trade-offs taken by different approaches transparent. The aim of the work described in this paper was to develop a systematization for the degree of privacy protection provided and the trade-offs taken by different data sharing methods. Based on this contribution, we categorized popular data sharing approaches and identified research gaps by analyzing combinations of promising properties and features that are not yet supported by existing approaches. Methods: The systematization consists of different axes. Three axes relate to privacy protection aspects and were adopted from the popular Five Safes Framework: (1) safe data, addressing privacy at the input level, (2) safe settings, addressing privacy during shared processing, and (3) safe outputs, addressing privacy protection of analysis results. Three additional axes address the usefulness of approaches: (4) support for de-duplication, to enable the reconciliation of data belonging to the same individuals, (5) flexibility, to be able to adapt to different data analysis requirements, and (6) scalability, to maintain performance with increasing complexity of shared data or common analysis processes. Results: Using the systematization, we identified three different categories of approaches: distributed data analyses, which exchange anonymous aggregated data, secure multi-party computation protocols, which exchange encrypted data, and data enclaves, which store pooled individual-level data in secure environments for access for analysis purposes. We identified important research gaps, including a lack of approaches enabling the de-duplication of horizontally distributed data or providing a high degree of flexibility. Conclusions: There are fundamental differences between different data sharing approaches and several gaps in their functionality that may be interesting to investigate in future work. Our systematization can make the properties of privacy-preserving data sharing infrastructures more transparent and support decision makers and regulatory authorities with a better understanding of the trade-offs taken

Implementing communication and decision-making interventions directed at goals of care: a theory-led scoping review.

OBJECTIVES: To identify the factors that promote and inhibit the implementation of interventions that improve communication and decision-making directed at goals of care in the event of acute clinical deterioration. DESIGN AND METHODS: A scoping review was undertaken based on the methodological framework of Arksey and O'Malley for conducting this type of review. Searches were carried out in Medline and Cumulative Index to Nursing and Allied Health Literature (CINAHL) to identify peer-reviewed papers and in Google to identify grey literature. Searches were limited to those published in the English language from 2000 onwards. Inclusion and exclusion criteria were applied, and only papers that had a specific focus on implementation in practice were selected. Data extracted were treated as qualitative and subjected to directed content analysis. A theory-informed coding framework using Normalisation Process Theory (NPT) was applied to characterise and explain implementation processes. RESULTS: Searches identified 2619 citations, 43 of which met the inclusion criteria. Analysis generated six themes fundamental to successful implementation of goals of care interventions: (1) input into development; (2) key clinical proponents; (3) training and education; (4) intervention workability and functionality; (5) setting and context; and (6) perceived value and appraisal. CONCLUSIONS: A broad and diverse literature focusing on implementation of goals of care interventions was identified. Our review recognised these interventions as both complex and contentious in nature, making their incorporation into routine clinical practice dependent on a number of factors. Implementing such interventions presents challenges at individual, organisational and systems levels, which make them difficult to introduce and embed. We have identified a series of factors that influence successful implementation and our analysis has distilled key learning points, conceptualised as a set of propositions, we consider relevant to implementing other complex and contentious interventions

Copenhagen Diabetes Consensus (CODIAC) 2021: user involvement in diabetes care, prevention and research

Aims User involvement is pivotal for health development, but there are significant gaps in our understanding of the concept. The Copenhagen Diabetes Consensus on User Involvement in Diabetes Care, Prevention and Research (CODIAC) was established to address these gaps, share knowledge and develop best practices. Methods A literature review of user involvement was undertaken in diabetes care, prevention and research. Moreover, a Group Concept Mapping (GCM) survey synthesized the knowledge and opinions of researchers, healthcare professionals and people with diabetes and their carers to identify gaps between what is important for user involvement and what is being done in practice. Finally, a consensus conference discussed the main gaps in knowledge and practice while developing plans to address the shortcomings. Results The literature review demonstrated that user involvement is an effective strategy for diabetes care, prevention and research, given the right support and conditions, but gaps and key challenges regarding the value and impact of user involvement approaches were found. The GCM process identified 11 major gaps, where important issues were not being sufficiently practised. The conference considered these gaps and opportunities to develop new collaborative initiatives under eight overall themes. Conclusions User involvement is effective and adds value to diabetes care, prevention and research when used under the right circumstances. CODIAC developed new learning about the way in which academic and research knowledge can be transferred to more practice-oriented knowledge and concrete collaborative initiatives. This approach may be a potential new framework for initiatives in which coherence of process can lead to coherent outputs

Examining corruption risks in the procurement and distribution of COVID-19 vaccines in select states in Nigeria

Background: Public health emergencies raise significant concerns about corruption and accountability; however, these concerns can manifest in different ways across diverse locations. For instance, more developed countries with a stronger rule of law may experience more corruption in vaccine procurement, whereas developing countries may experience more corruption at the point of distribution and delivery to end users. This research focuses on corruption concerns in Nigeria, specifically examining the procurement and distribution of COVID-19 vaccines. Methods: This paper utilizes a scoping review and a qualitative research approach. Key informants (n = 40) involved in the procurement and distribution of COVID-19 vaccines across two states in Nigeria were interviewed. Findings from the scoping review were summarized, and collected data were inductively coded and analysed in themes, revealing clear examples of implementation irregularities and corruption in the country’s COVID-19 vaccination processes. Results: Vaccination programme budgeting processes were unclear, and payment irregularities were frequently observed, resulting in vaccinators soliciting informal payments while in the field. Recruitment and engagement of vaccination personnel was opaque, while target vaccination rates incentivized data falsification during periods of vaccine hesitancy. Accountability mechanisms, such as health worker supervision, vaccination data review, and additional technical support provided by donors were implemented but not effective at preventing corruption among frontline workers. Conclusions: Future accountability measures should be evidence-driven based on findings from this research. Personnel recruitment, contracting, budgeting, and remuneration should focus on transparency and accountability.</p

Examining corruption risks in the procurement and distribution of COVID-19 vaccines in select states in Nigeria

Background: Public health emergencies raise significant concerns about corruption and accountability; however, these concerns can manifest in different ways across diverse locations. For instance, more developed countries with a stronger rule of law may experience more corruption in vaccine procurement, whereas developing countries may experience more corruption at the point of distribution and delivery to end users. This research focuses on corruption concerns in Nigeria, specifically examining the procurement and distribution of COVID-19 vaccines. Methods: This paper utilizes a scoping review and a qualitative research approach. Key informants (n = 40) involved in the procurement and distribution of COVID-19 vaccines across two states in Nigeria were interviewed. Findings from the scoping review were summarized, and collected data were inductively coded and analysed in themes, revealing clear examples of implementation irregularities and corruption in the country’s COVID-19 vaccination processes. Results: Vaccination programme budgeting processes were unclear, and payment irregularities were frequently observed, resulting in vaccinators soliciting informal payments while in the field. Recruitment and engagement of vaccination personnel was opaque, while target vaccination rates incentivized data falsification during periods of vaccine hesitancy. Accountability mechanisms, such as health worker supervision, vaccination data review, and additional technical support provided by donors were implemented but not effective at preventing corruption among frontline workers. Conclusions: Future accountability measures should be evidence-driven based on findings from this research. Personnel recruitment, contracting, budgeting, and remuneration should focus on transparency and accountability.</p

How do patient reported outcome measures (PROMs) support clinician-patient communication and patient care? A realist synthesis

Background: In this paper, we report the findings of a realist synthesis that aimed to understand how and in what circumstances patient reported outcome measures (PROMs) support patient-clinician communication and subsequent care processes and outcomes in clinical care. We tested two overarching programme theories: (1) PROMs completion prompts a process of self-reflection and supports patients to raise issues with clinicians and (2) PROMs scores raise clinicians’ awareness of patients’ problems and prompts discussion and action. We examined how the structure of the PROM and care context shaped the ways in which PROMs support clinician-patient communication and subsequent care processes. Results: PROMs completion prompts patients to reflect on their health and gives them permission to raise issues with clinicians. However, clinicians found standardised PROMs completion during patient assessments sometimes constrained rather than supported communication. In response, clinicians adapted their use of PROMs to render them compatible with the ongoing management of patient relationships. Individualised PROMs supported dialogue by enabling the patient to tell their story. In oncology, PROMs completion outside of the consultation enabled clinicians to identify problematic symptoms when the PROM acted as a substitute rather than addition to the clinical encounter and when the PROM focused on symptoms and side effects, rather than health related quality of life (HRQoL). Patients did not always feel it was appropriate to discuss emotional, functional or HRQoL issues with doctors and doctors did not perceive this was within their remit. Conclusions: This paper makes two important contributions to the literature. First, our findings show that PROMs completion is not a neutral act of information retrieval but can change how patients think about their condition. Second, our findings reveal that the ways in which clinicians use PROMs is shaped by their relationships with patients and professional roles and boundaries. Future research should examine how PROMs completion and feedback shapes and is influenced by the process of building relationships with patients, rather than just their impact on information exchange and decision making